Buy Used and New Flavio Corradini Books

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... 3185 (Lecture Notes in Computer Science)

by Marco Bernardo,Flavio Corradini

ISBN 13: 9783540230687

Format: Paperback (304 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

A Process Algebraic Approach to Software Architecture Design

by Alessandro Aldini,Marco Bernardo,Flavio Corradini

ISBN 13: 9781447157663

Format: Paperback (320 pages)
Publisher: Springer
Published: 20 Oct 2014

Save for later